how to write a congruence statement for triangles